T-timed discrete Petri net
colored timed Petri nets
colored-timed Petri nets
Hierachical colored timed Petri nets
hybrid timed Petri nets
programmable timed Petri nets
stochastic timed Petri nets
Timed Petri nets
计时Petri网
时间Petri网
时延Petri网
赋时佩特里网
赋时Petri网
discrete timed interval temporal logic
timed discrete event dynamic system
colored and timed Petri net
colored timed Petri net
controlled timed Petri net
extended timed Petri net ETPN
hierarchical colored timed Petri-Net
Hierarchical Timed Coloured Petri Nets
hierarchically timed Petri net
stochastic timed Petri net